181![COMPLEXITY AND APPROXIMABILITY OF THE COVER POLYNOMIAL ¨ser, Holger Dell, and Mahmoud Fouz Markus Bla Abstract. The cover polynomial and its geometric version introduced by Chung & Graham and D’Antona & Munarini, res COMPLEXITY AND APPROXIMABILITY OF THE COVER POLYNOMIAL ¨ser, Holger Dell, and Mahmoud Fouz Markus Bla Abstract. The cover polynomial and its geometric version introduced by Chung & Graham and D’Antona & Munarini, res](https://www.pdfsearch.io/img/96fcaa573f3ee191facb957affc0b517.jpg) | Add to Reading ListSource URL: www-cc.cs.uni-saarland.deLanguage: English - Date: 2014-01-17 04:55:28
|
---|
182![Fast d-DNNF Compilation with sharpSAT Christian Muise Sheila McIlraith J. Christopher Beck Fast d-DNNF Compilation with sharpSAT Christian Muise Sheila McIlraith J. Christopher Beck](https://www.pdfsearch.io/img/bb17ba1e2431919283e20e6e1a542be6.jpg) | Add to Reading ListSource URL: www.haz.caLanguage: English - Date: 2013-10-28 07:18:32
|
---|
183![Verification of Markov Decision Processes using Learning Algorithms? Tom´asˇ Br´azdil1 , Krishnendu Chatterjee2 , Martin Chmel´ık2 , Vojtˇech Forejt3 , Jan Kˇret´ınsk´y2 , Marta Kwiatkowska3 , David Parker4 , a Verification of Markov Decision Processes using Learning Algorithms? Tom´asˇ Br´azdil1 , Krishnendu Chatterjee2 , Martin Chmel´ık2 , Vojtˇech Forejt3 , Jan Kˇret´ınsk´y2 , Marta Kwiatkowska3 , David Parker4 , a](https://www.pdfsearch.io/img/2b20ec2bc96e5ab2fee80fc6fe4d15c3.jpg) | Add to Reading ListSource URL: www.hieratic.euLanguage: English |
---|
184![J. Cryptol: 116–135 DOI: s00145x Parallel Repetition of Computationally Sound Protocols Revisited∗ Krzysztof Pietrzak J. Cryptol: 116–135 DOI: s00145x Parallel Repetition of Computationally Sound Protocols Revisited∗ Krzysztof Pietrzak](https://www.pdfsearch.io/img/168da6ee9ccb58adbfd19a2c894afb4d.jpg) | Add to Reading ListSource URL: www.nada.kth.seLanguage: English - Date: 2012-05-30 09:00:34
|
---|
185![The complexity of positive first-order logic without equality∗ Florent Madelaine Univ Clermont1, EA2146, Laboratoire d’algorithmique et d’image de Clermont-Ferrand, Aubi`ere, F-63170, France. fmadelaine@laic.u-cler The complexity of positive first-order logic without equality∗ Florent Madelaine Univ Clermont1, EA2146, Laboratoire d’algorithmique et d’image de Clermont-Ferrand, Aubi`ere, F-63170, France. fmadelaine@laic.u-cler](https://www.pdfsearch.io/img/13d1452171e33a1a3da6261f18ad6af9.jpg) | Add to Reading ListSource URL: www.bedewell.comLanguage: English - Date: 2009-11-10 10:55:46
|
---|
186![Variationally Universal Hashing Ted Krovetz a and Phillip Rogaway b,c a Department of Computer Science, California State University Sacramento CAUSA Variationally Universal Hashing Ted Krovetz a and Phillip Rogaway b,c a Department of Computer Science, California State University Sacramento CAUSA](https://www.pdfsearch.io/img/e43508950aea31a0687d92026072cfe9.jpg) | Add to Reading ListSource URL: web.cs.ucdavis.eduLanguage: English - Date: 2008-07-02 16:14:32
|
---|
187![Comput. complex), 1 – 010001–20 $ 1.50c Birkh¨
auser Verlag, Basel 1999 Comput. complex), 1 – 010001–20 $ 1.50c Birkh¨
auser Verlag, Basel 1999](https://www.pdfsearch.io/img/2a5c8c5ac3b6281d0d8fb3c314ccfcd2.jpg) | Add to Reading ListSource URL: www.cs.toronto.eduLanguage: English - Date: 2006-11-08 13:10:36
|
---|
188![Session T2C THE CONCEPT OF “ALGORITHM EFFICIENCY” IN THE HIGH SCHOOL CS CURRICULUM Judith Gal-Ezer 1 and Ela Zur2 Abstract Algorithms and the efficiency of algorithms are basic concepts to every computer science Session T2C THE CONCEPT OF “ALGORITHM EFFICIENCY” IN THE HIGH SCHOOL CS CURRICULUM Judith Gal-Ezer 1 and Ela Zur2 Abstract Algorithms and the efficiency of algorithms are basic concepts to every computer science](https://www.pdfsearch.io/img/4f32f91db58775b24d49ac9efd533fad.jpg) | Add to Reading ListSource URL: www.openu.ac.ilLanguage: English - Date: 2009-03-16 13:52:35
|
---|
189![ETH Zurich, Department of Computer Science FS 2015 Prof. Dr. Ueli Maurer Dr. Martin Hirt Sandro Coretti ETH Zurich, Department of Computer Science FS 2015 Prof. Dr. Ueli Maurer Dr. Martin Hirt Sandro Coretti](https://www.pdfsearch.io/img/d8db60eb71e380dcaaad25ce9d9c5b10.jpg) | Add to Reading ListSource URL: www.crypto.ethz.chLanguage: English - Date: 2015-07-07 05:51:55
|
---|
190![Exotlst_details_4_21_04.xls Exotlst_details_4_21_04.xls](https://www.pdfsearch.io/img/185273b7215c5fad35b6f5cd3a1c6f62.jpg) | Add to Reading ListSource URL: www.esd.ornl.govLanguage: English - Date: 2004-05-26 15:21:32
|
---|